Automated planning and scheduling - PDFSEARCH.IO - Document Search Engine

Automated planning and scheduling
Results: 432

#	Item
101	PDF Document Add to Reading List Source URL: www.cis.strath.ac.uk Language: English - Date: 2007-09-05 10:42:25 Tai Po District Council Port Island Line Automated planning and scheduling Planning Domain Definition Language PP
102	PDF Document Add to Reading List Source URL: www.cis.strath.ac.uk Language: English - Date: 2009-03-25 09:27:15 Automated planning and scheduling Combinatorial optimization Mathematical logic Planning Domain Definition Language SAS Symmetry in mathematics FO Symmetry S0 Theoretical computer science Mathematics Applied mathematics
103	PDF Document Add to Reading List Source URL: www.cis.strath.ac.uk Language: English - Date: 2008-12-15 06:35:41 Artificial intelligence Planning Domain Definition Language Applied mathematics MPS Linear programming Function STRIPS Automated planning and scheduling Mathematics Operations research
104	PDF Document Add to Reading List Source URL: www.cis.strath.ac.uk Language: English - Date: 2008-06-25 17:51:55 Applied mathematics Automated planning and scheduling Planning Domain Definition Language Linear programming Convex optimization Econometrics Linear programming relaxation Regression analysis Heuristic function Mathematical optimization Mathematics Operations research
105	PDF Document Add to Reading List Source URL: www.cis.strath.ac.uk Language: English - Date: 2007-09-05 10:42:27 Source code Preprocessor Social actions Automated planning and scheduling Software Computing Programming language implementation Macro
106	PDF Document Add to Reading List Source URL: www.cis.strath.ac.uk Language: English - Date: 2007-09-05 10:42:26 Automated planning and scheduling STRIPS Heuristic function Logic programming Heuristic Macro Shortest path problem Search algorithm Computer programming Artificial intelligence Computing
107	PDF Document Add to Reading List Source URL: www.cis.strath.ac.uk Language: English - Date: 2007-09-05 10:42:25 Lookahead Artificial intelligence Heuristic Automated planning and scheduling Best-first search Algorithm Science Mathematics Search algorithms Heuristics Heuristic function
108	PDF Document Add to Reading List Source URL: www.cis.strath.ac.uk Language: English - Date: 2009-09-01 10:08:08 Statistics Planning Domain Definition Language Information technology management Service-level agreement PEPA Uncertainty Economic model Scientific modelling Epistemology Automated planning and scheduling Science
109	Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) A Loop Acceleration Technique to Speed Up Verification of Automatically-Generated Plans Robert P. Goldman and Michael J.S. Pelican an Add to Reading List Source URL: rpgoldman.goldman-tribe.org Language: English - Date: 2013-06-12 10:51:30 Applied mathematics Computer science Model checking Formal verification Finite-state machine Deterministic finite automaton Automated planning and scheduling Uppaal Model Checker Clock Models of computation Automata theory Theoretical computer science
110	PDF Document Add to Reading List Source URL: www.cis.strath.ac.uk Language: English - Date: 2007-09-05 10:42:25 Management Problem solving Mathematical optimization STRIPS Logic programming Planning Planner Vienna U-Bahn Genetic algorithm Artificial intelligence Automated planning and scheduling Neuropsychological assessment

UPDATE